Type II analysis by projections

modeling loss data by phase-type distribution

بیمه گران همیشه بابت خسارات بیمه نامه های تحت پوشش خود نگران بوده و روش هایی را جستجو می کنند که بتوانند داده های خسارات گذشته را با هدف اتخاذ یک تصمیم بهینه مدل بندی نمایند. در این پژوهش توزیع های فیزتایپ در مدل بندی داده های خسارات معرفی شده که شامل استنباط آماری مربوطه و استفاده از الگوریتم em در برآورد پارامترهای توزیع است. در پایان امکان استفاده از این توزیع در مدل بندی داده های گروه بندی ...

Summation by Parts, Projections, and Stability. Ii

In this paper we prove strict stability of high-order finite difference approximations of parabolic and symmetric hyperbolic systems of partial differential equations on bounded, curvilinear domains in two space dimensions. The boundary need not be smooth. We also show how to derive strict stability estimates for inhomogeneous boundary conditions. 1. Strict stability in several space dimensions...

CDF: Run II Physics Projections

Sets uniquely determined by projections on axes II Discrete case

Fishburn, P. A subset S of N " = { 1,2,. , N} " is a discrete set of uniqueness if it is the only subset of N " with projections P,, Sets of uniqueness and additive sets are characterized by the absence of certain configurations in the lattice N ". The characterization shows that every additive set is a set of uniqueness. If n = 2, every set of uniqueness is also additive. However, when II 3 3,...

Type Theory and Projections for Higher-Order Static Analysis

A system of annotated types is proposed as a means of describing and inferring static information, such as strictness and constancy, about functional programs. An abstract semantics is given in terms of projections. The paper then proceeds to demonstrate a close connection between annotated type assignment and projection analysis. 1 Introduction. Modern implementations of functional programming...